Ed. Note: The whole thing has been improved since 1976. It can run the same way mutual co-recursive procedures, and also what I call "enveloped" tail-recursions, as in (DE foo (x) (IF (ZEROP x) 0 (+ x (foo (SUB1 x)))))